A programming language that tries to combine the advantages of static typing and compile-time memory management with a very lightweight, friendly and terse syntax